We felt that combining our formal verification efforts with more traditional security audits would be the best method for maximising security. As a result, we teamed with five leading independent security auditors to safeguard the contract logic against logical mistakes and potential failure modes.
The specialists listed below concentrate on security and traditional auditing:
- BlockSec - security reviews of our smart contracts.
- PeckShield - traditional audit.
- Coinspect - security reviews of our smart contracts.
- SlowMist - security reviews of our smart contracts.
- Zokyo - smart contracts audit.